Natural language programming - PDFSEARCH.IO - Document Search Engine

Natural language programming
Results: 221

#	Item
41	FACILE: DESCRIPTION OF THE NE SYSTEM USED FOR MUC-7 William J Black, Fabio Rinaldi and David Mowatt Department of Language Engineering UMIST PO Box 88, Sackville Street Manchester M60 1QD, United Kingdom Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:44:49 Compiler construction Regular expressions Formal languages Parsing Natural language processing Lexical analysis Information extraction Pattern matching C preprocessor Computing Programming language implementation Software engineering
42	SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language Vu Le Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-07-17 03:13:18 Visual programming languages Software engineering Computer data Dataflow Natural language processing Futures and promises Computing Computer architecture Models of computation
43	From Natural Language Specifications to Program Input Parsers Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-28 12:20:40 Compiler construction Markup languages Bottom-up parsing Syntax Top-down parsing Compiler-compiler Natural language processing Programming language HTML Computing Parsing Linguistics
44	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
45	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
46	Journal of Artificial Intelligence Research362 Submitted 4/12; publishedA Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing Add to Reading List Source URL: jair.org Language: English - Date: 2012-10-30 19:41:28 Operations research Linear programming Relaxation Duality Lagrange multiplier Lagrangian Viterbi algorithm Decomposition method Optimization problem Mathematical optimization Mathematical analysis Convex optimization
47	Fast and Accurate Shift-Reduce Constituent Parsing Muhua Zhu† , Yue Zhang‡ , Wenliang Chen∗ , Min Zhang∗ and Jingbo Zhu† † Natural Language Processing Lab., Northeastern University, China ‡ Singapore Univer Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2013-07-25 09:24:47 Compiler construction Bottom-up parsing Parsing Parser generators Chart parser Treebank Statistical parsing Natural language processing GOLD Linguistics Computational linguistics Programming language implementation
48	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
49	Graphical State-Space Programmability as a Natural Interface for Robotic Control Junaed Sattar, Anqi Xu, Gregory Dudek, and Gabriel Charette Abstract— We present an interface for controlling mobile robots that combines Add to Reading List Source URL: www.cim.mcgill.ca Language: English - Date: 2011-02-02 23:06:15 Programming paradigms User interfaces Virtual reality Python Visual programming language Software development methodology Scripting language Integrated development environment Archy Computing Software engineering Software
50	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction

UPDATE